nLab equivariant KK-theory

Idea

The equivariant cohomology version of KK-theory.

Definition

Let $G$ be a locally compact topological group.

Definition

$KK_G$ is the category…

(Blackadar, section 20.2) The composition is in (Blackadar, theorem 20.3.1) .

Definition

The KK-theoretic representation ring of $G$ is the ring

$$R(G) \simeq KK_G(\mathbb{C}, \mathbb{C}) \,.$$

(Blackadar def. 20.4.2)

Properties

The Green-Julg theorem:

Theorem

(Green-Julg theorem)

Let $G$ be a topological group acting on a C*-algebra $A$.

1. If $G$ is a compact topological group then the descent map

   $$KK^G(\mathbb{C}, A) \to KK(\mathbb{C},G\ltimes A)$$

   is an isomorphism, identifying the equivariant operator K-theory of $A$ with the ordinary operator K-theory of the crossed product C*-algebra $G \ltimes A$.

2. if $G$ is a discrete group then the descent map

   $$KK^G(A, \mathbb{C}) \to KK(G \ltimes A, \mathbb{C})$$

   is an isomorphism, identifying the equivariant K-homology of $A$ with the ordinary K-homology of the crossed product C*-algebra $G \ltimes A$.

(Blackadar, 20.2.7).

Proposition

If $G$ is a compact topological group, then the KK-theoretic representation ring, def. coincides with the ordinary representation ring of $G$.

(Blackadar, prop. 20.4.4)

Related concepts

• Baum-Connes conjecture

References

Section 20 of

• Bruce Blackadar, K-Theory for Operator Algebras